Generalizing theorems in real closed fields
نویسندگان
چکیده
منابع مشابه
Generalizing Theorems in Real Closed Fields
Jan Kraj cek posed the following problem: Is there is a generalization result in the theory of real closed elds of the form: If A(1 + + 1) (n occurrences of 1) is provable in length k for all n 2 !, then (8x)A(x) is provable? It is argued that the answer to this question depends on the particular formulation of the \theory of real closed elds." Four distinct formulations are investigated with r...
متن کاملNote on generalizing theorems in algebraically closed fields
The generalization properties of algebraically closed elds ACF p of characteristic p > 0 and ACF 0 of characteristic 0 are investigated in the sequent calculus with blocks of quantiiers. It is shown that ACF p admits nite term bases, and ACF 0 admits term bases with primality constraints. From these results the analogs of Kreisel's Conjecture for these theories follow: If for some k, A(1 + + 1)...
متن کاملReal closed exponential fields
In an extended abstract [20], Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre’s construction. The construction becomes canonical once we fix the real closed exponential field R, a re...
متن کاملArchive for Mathematical Logic Manuscript Nr will be inserted by hand later Note on Generalizing Theorems in Algebraically Closed Fields
The generalization properties of algebraically closed elds ACFp of characteristic p and ACF of characteristic are investigated in the sequent calculus with blocks of quanti ers It is shown that ACFp admits nite term bases and ACF admits term bases with primality constraints From these results the analogs of Kreisel s Conjecture for these theories follow If for some k A n s is provable in k step...
متن کاملQuite Complete Real Closed Fields
We prove that any ordered field can be extended to one for which every decreasing sequence of bounded closed intervals, of any length, has a nonempty intersection; equivalently, there are no Dedekind cuts with equal cofinality from both sides. Here we strengthes the results from the published version.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1995
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)00054-7